Un Entorno para de Desarrollo de Modelos de Flujo de Trabajo

Resumen. Los sistemas de gestión de flujos de trabajo permiten abordar la automatización de los procesos que tienen lugar dentro de las organizaciones. El desarrollo de estos sistemas ha tenido un fuerte componente tecnológico, centrándose más en la creación de entornos de ejecución eficientes y distribuidos, que en proporcionar un soporte formal y metodológico que garantice la obtención de modelos de flujo de trabajo de calidad. En este trabajo se presenta un entorno para el desarrollo de modelos de flujo de trabajo. Un editor permite la construcción de dichos modelos utilizando el lenguaje gráfico definido en base a un metamodelo de referencia. A partir de este modelo, almacenado en un repositorio, se genera automáticamente una especificación formal equivalente. Esta especificación es ya un prototipo ejecutable que sirve para mejorar y validar dicho modelo, corrigiendo posibles errores antes de su ejecución. Tras la validación, generadores de código producen automáticamente versiones del modelo en entornos eficientes.